digraph A3{
a31 -> a33 [label="e"]

a32 -> a33 [label="f"]

a33 -> a31 [label="t"]
a33 -> a32 [label="g"]
a33 -> a34 [label="e"]
a33 -> a35 [label="d"]

a34 -> a33 [label="c"]
a35 -> a33 [label="s"]

[initial={a33}]
[final={a31, a33, a34, a35}]
}
